Занятие №4. Тавтологии

1. Докажите, что следующие формулы являются тавтологиями, составив их таблицы истинности:
   1. A V Ā (закон исключенного третьего)
   2. A → A (закон тождества)
   3. (A & A) ↔ A (идемпотентность конъюнкции)
   4. (A V A) ↔ A (идемпотентность дизъюнкции)
   5. (A & (B V A)) ↔ A (закон поглощения)